include(CMakeFindDependencyMacro)

list(APPEND CMAKE_MODULE_PATH ${CMAKE_CURRENT_LIST_DIR})
find_dependency(Threads REQUIRED)
find_dependency(GMP REQUIRED)

@PACKAGE_INIT@

include("${CMAKE_CURRENT_LIST_DIR}/OpenSMTTargets.cmake")

check_required_components(opensmt)
#message("Config file used")
